Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
Codeless: From idea to software
anildash.com·8h
Making a Language
thunderseethe.dev·9h
Alexis King’s Blog
lexi-lambda.github.io·2d
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
Understanding Poke methods
jemarch.net·1d
To assert() or not to assert()?
ilya-sher.org·3d
Loading...Loading more...